export function dec(a: number) {
  return a - 1;
}
